set default kernel in linux